package sketch.issta11.specifyvalues;

import org.eclipse.jdt.core.dom.CompilationUnit;

import sketch.ast.ASTUtils;
import sketch.specs.SpecValueDeclarationRemover;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class RemoveSpecValueTest extends TestCase {

	public static Test suite() {
		return new TestSuite(RemoveSpecValueTest.class);
	}
	
	public void testRmoveSpecValue() {
		CompilationUnit unit = ASTUtils.astRoot("./tests/sketch/issta11/specifyvalues/Z_test_remove_spec_valeus.java");
		SpecValueDeclarationRemover remover = new SpecValueDeclarationRemover();
		remover.visit(unit);
		remover.remove_var_decls();
		System.out.println(unit);
	}
}
